Un langage explicitement parallèle fonctionnel pur d’ordre supérieur
نویسنده
چکیده
Nous présentons le noyau d’un langage explicitement parallèle et fonctionnel pur d’ordre supérieur CDS*. Il est basé sur des structures de données concrètes explicitement distribuées. Nous donnons un aperçu de la sémantique dénotationnelle, opérationnelle et d’une sémantique de réécriture qui la réalise. Des exemples illustrant l’expressivité du langage ainsi que la simulation de leur exécution sont donnés.
منابع مشابه
Un système X Raisonner formellement sur les programmes ML
Résumé Nous proposons dans cet article un système de types dit renforcé permettant de garantir la terminaison de programmes exprimés dans le noyau fonctionnel pur de ML. La stratégie d'évaluation est celle de ML. Le langage de types est celui de ML. Le caractère renforcé du système proposé vient de l'ajout aux règles de typage traditionnelles d'un principe d'induction structurelle sur les types...
متن کاملUne méthode de formalisation progressive des exigences basée sur un modèle simulable
RÉSUMÉ. Les exigences d’un logiciel, souvent rédigées en langage naturel, sont à la base des phases de conception et de test fonctionnel. Le langage naturel est par nature ambigu, et les exigences peuvent donc être différemment interprétées lors de la construction et de la validation du logiciel. C’est pourquoi nous proposons une méthode de raffinement progressif des exigences vers des modèles ...
متن کاملAspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel
Un langage de programmation qui se veut utile doit être capable d’exprimer des programmes qui profitent des services et des mécanismes de communication supportés par le système d’exploitation. Nous examinons dans cet article le problème de la programmation d’applications Win32 dites “natives” sous le système d’exploitation Windows avec le langage fonctionnel Standard ML. Nous introduisons une i...
متن کاملMachines, Interprètes
Ceci est la version 3 de la troisième partie du cours de lambda-calcul, datant du 02 juin 2014. La version 2 datait du 28 janvier 2011. La première version datait du 15 avril 2002. Merci à Hang Zhou et à Arthur Milchior. Aucune machine réelle n’exécute directement la relation de β-réduction du λcalcul, ou même d’un langage fonctionnel plus pratique comme Caml ou Haskell. Il est donc nécessaire ...
متن کاملUn Caml Light Distribué
Résumé. Dans cet article nous proposons une extension du langage fonctionnel Caml Light appelé ACCL (pour A Concurrent Caml Light) dont le but est de combiner les paradigmes de programmation impérative, fonctionnelle, de concurrence et de distribution dans un seul langage de programmation. Pour l’extension concurrente de Caml Light nous proposons quelques primitives avec une sémantique très sim...
متن کامل